/// doc 1
/// doc 2
type Foo record {
     /// doc 3
     A Integer,
     /// doc 4
     B String default('')
}

/// doc 5
type ABCD union {
     A | foo::B | const
     /// doc 6
     C,
     /// doc 7
     D
}

/// doc 8
type Bar interface {
    /// doc 9
    DoSomething Lambda[Foo,ABCD]
}


